French translation for "grzegorczyk hierarchy"

hiérarchie de grzegorczyk

Example Sentences:

	1.	The Grzegorczyk hierarchy can be extended to transfinite ordinals. La hiérarchie de Grzegorczyk peut être étendue aux ordinaux transfinis.
	2.	In the Grzegorczyk hierarchy, every primitive recursive function is dominated by some fα with α < ω. Dans la hiérarchie de Grzegorczyk, chaque fonction récursive primitive est dominée par un certain fα avec α < ω.
	3.	Every function in the Grzegorczyk hierarchy is a primitive recursive function, and every primitive recursive function appears in the hierarchy at some level. Toutes les fonctions de la hiérarchie de Grzegorczyk sont primitives récursives et toute fonction primitive récursive apparait dans cette hiérarchie.
	4.	The successor function is the level-0 foundation of the infinite Grzegorczyk hierarchy of hyperoperations, used to build addition, multiplication, exponentiation, tetration, etc.. La fonction successeur est le niveau 0 de la hiérarchie inf hyperoperations (utilisées pour construire l'addition, la multiplication, l'exponentiation, etc.). ↑ Halmos, Chapter 11.
	5.	The Grzegorczyk hierarchy (pronounced: ), named after the Polish logician Andrzej Grzegorczyk, is a hierarchy of functions used in computability theory (Wagner and Wechsung 1986:43). La hiérarchie de Grzegorczyk – du nom du logicien polonais Andrzej Grzegorczyk – est une hiérarchie de fonctions utilisée en théorie de la calculabilité.
	6.	For n ≥ 3, the set E n {\displaystyle {\mathcal {E}}^{n}} in the Grzegorczyk hierarchy is composed of just those total multi-argument functions which, for sufficiently large arguments, are computable within time bounded by some fixed iterate fn-1k evaluated at the maximum argument. Pour n ≥ 3, l'ensemble E n
	7.	Large numbers Sequences similar to the hyperoperation sequence have historically been referred to by many names, including: the Ackermann function (3-argument), the Ackermann hierarchy, the Grzegorczyk hierarchy (which is more general), Goodstein's version of the Ackermann function, operation of the nth grade, z-fold iterated exponentiation of x with y, arrow operations, reihenalgebra and hyper-n. Des suites similaires ont historiquement porté diverses appellations, telles que la fonction d'Ackermann (à 3 arguments), la hiérarchie d'Ackermann, la hiérarchie de Grzegorczyk, (plus générale), la version de Goodstein de la fonction d'Ackermann, hyper-n,,,,.
	8.	The initial part of this hierarchy, comprising the functions fα with finite index (i.e., α < ω), is often called the Grzegorczyk hierarchy because of its close relationship to the Grzegorczyk hierarchy; note, however, that the former is here an indexed family of functions fn, whereas the latter is an indexed family of sets of functions E n {\displaystyle {\mathcal {E}}^{n}} . La partie initiale de cette hiérarchie, formée des fonctions fα d'indice fini (c'est-à-dire avec α < ω), est souvent appelée la hiérarchie de Grzegorczyk en raison de sa relation étroite avec la hiérarchie d'ensembles de fonctions définie par lui, comme on le verra plus loin.
	9.	The initial part of this hierarchy, comprising the functions fα with finite index (i.e., α < ω), is often called the Grzegorczyk hierarchy because of its close relationship to the Grzegorczyk hierarchy; note, however, that the former is here an indexed family of functions fn, whereas the latter is an indexed family of sets of functions E n {\displaystyle {\mathcal {E}}^{n}} . La partie initiale de cette hiérarchie, formée des fonctions fα d'indice fini (c'est-à-dire avec α < ω), est souvent appelée la hiérarchie de Grzegorczyk en raison de sa relation étroite avec la hiérarchie d'ensembles de fonctions définie par lui, comme on le verra plus loin.

Similar Words：

"grzeboszowice" French translation, "grzebowilk, gmina siennica" French translation, "grzebsk" French translation, "grzechotki" French translation, "grzechynia" French translation, "grzegorz adam urbanowski" French translation, "grzegorz antoni ogiński" French translation, "grzegorz baran" French translation, "grzegorz bartczak" French translation